Instance,nrRules,success,nrStates,n,runtime_ms
1,11,1,4,1,21
2,11,1,4,1,5
3,11,1,4,1,4
4,11,1,4,1,4
5,11,1,4,1,3
6,11,1,4,1,2
7,11,1,4,1,2
8,11,1,4,1,2
9,11,1,4,1,2
10,11,1,4,1,2
11,11,1,4,1,2
12,11,1,4,1,2
13,11,1,4,1,2
14,11,1,4,1,2
15,11,1,4,1,2
16,11,1,4,1,2
17,11,1,4,1,2
18,11,1,4,1,2
19,11,1,4,1,1
20,11,1,4,1,1
21,11,1,4,1,1
22,275,1,49,2,19
23,275,1,49,2,12
24,275,1,49,2,11
25,275,1,49,2,9
26,275,1,49,2,9
27,275,1,49,2,7
28,275,1,49,2,8
29,275,1,49,2,7
30,275,1,49,2,7
31,275,1,49,2,7
32,275,1,49,2,7
33,275,1,49,2,6
34,275,1,49,2,6
35,275,1,49,2,6
36,275,1,49,2,5
37,275,1,49,2,5
38,275,1,49,2,5
39,275,1,49,2,5
40,275,1,49,2,5
41,275,1,49,2,5
42,275,1,49,2,5
43,275,1,49,2,6
44,275,1,49,2,6
45,275,1,49,2,7
46,275,1,49,2,6
47,275,1,49,2,6
48,275,1,49,2,5
49,275,1,49,2,4
50,275,1,49,2,4
51,275,1,49,2,4
52,275,1,49,2,4
53,275,1,49,2,4
54,275,1,49,2,4
55,275,1,49,2,4
56,275,1,49,2,4
57,275,1,49,2,4
58,275,1,49,2,4
59,275,1,49,2,4
60,275,1,49,2,4
61,275,1,49,2,4
62,275,1,49,2,3
63,275,1,49,2,3
64,275,1,49,2,3
65,275,1,49,2,3
66,275,1,49,2,3
67,275,1,49,2,3
68,275,1,49,2,3
69,275,1,49,2,3
70,275,1,49,2,3
71,275,1,49,2,3
72,275,1,49,2,3
73,275,1,49,2,3
74,275,1,49,2,3
75,275,1,49,2,3
76,275,1,49,2,3
77,275,1,49,2,3
78,275,1,49,2,3
79,275,1,49,2,3
80,275,1,49,2,4
81,275,1,49,2,3
82,275,1,49,2,3
83,275,1,49,2,3
84,275,1,49,2,3
85,275,1,49,2,3
86,275,1,49,2,3
87,275,1,49,2,3
88,275,1,49,2,2
89,275,1,49,2,3
90,275,1,49,2,2
91,275,1,49,2,2
92,275,1,49,2,2
93,275,1,49,2,2
94,275,1,49,2,2
95,275,1,49,2,2
96,275,1,49,2,2
97,275,1,49,2,2
98,275,1,49,2,2
99,275,1,49,2,2
100,275,1,49,2,2
101,275,1,49,2,2
102,275,1,49,2,2
103,275,1,49,2,2
104,275,1,49,2,2
105,275,1,49,2,3
106,275,1,49,2,2
107,275,1,49,2,2
108,275,1,49,2,2
109,275,1,49,2,2
110,275,1,49,2,2
111,275,1,49,2,2
112,275,1,49,2,2
113,275,1,49,2,2
114,275,1,49,2,2
115,275,1,49,2,1
116,275,1,49,2,1
117,275,1,49,2,2
118,275,1,49,2,2
119,275,1,49,2,3
120,275,1,49,2,2
121,697,1,97,2,3
122,275,1,49,2,2
123,275,1,49,2,2
124,275,1,49,2,2
125,275,1,49,2,2
126,275,1,49,2,2
127,275,1,49,2,2
128,275,1,49,2,2
129,275,1,49,2,1
130,275,1,49,2,1
131,275,1,49,2,1
132,275,1,49,2,1
133,275,1,49,2,1
134,275,1,49,2,1
135,275,1,49,2,1
136,275,1,49,2,1
137,275,1,49,2,1
138,275,1,49,2,1
139,275,1,49,2,1
140,275,1,49,2,1
141,275,1,49,2,2
142,275,1,49,2,2
143,275,1,49,2,1
144,275,1,49,2,1
145,275,1,49,2,1
146,275,1,49,2,1
147,275,1,49,2,1
148,275,1,49,2,1
149,275,1,49,2,1
150,3167,1,304,3,13
151,3167,1,304,3,12
152,3167,1,304,3,12
153,3167,1,304,3,12
154,3167,1,304,3,12
155,3167,1,304,3,12
156,3167,1,304,3,13
157,3167,1,304,3,12
158,3167,1,304,3,12
159,3167,1,304,3,11
160,3167,1,304,3,12
161,3167,1,304,3,12
162,3167,1,304,3,12
163,3167,1,304,3,12
164,3167,1,304,3,12
165,3167,1,304,3,12
166,3167,1,304,3,12
167,3167,1,304,3,12
168,3167,1,304,3,13
169,3167,1,304,3,14
170,3167,1,304,3,12
171,3167,1,304,3,12
172,7159,1,532,3,29
173,3167,1,304,3,15
174,7159,1,532,3,21
175,3167,1,304,3,12
176,3167,1,304,3,11
177,3167,1,304,3,12
178,3167,1,304,3,11
179,3167,1,304,3,12
180,3167,1,304,3,12
181,7159,1,532,3,20
182,3167,1,304,3,10
183,3167,1,304,3,10
184,3167,1,304,3,10
185,3167,1,304,3,11
186,7159,1,532,3,27
187,3167,1,304,3,15
188,3167,1,304,3,15
189,3167,1,304,3,15
190,3167,1,304,3,10
191,3167,1,304,3,9
192,7159,1,532,3,17
193,3167,1,304,3,10
194,3167,1,304,3,9
195,3167,1,304,3,9
196,3167,1,304,3,10
197,3167,1,304,3,10
198,3167,1,304,3,10
199,3167,1,304,3,10
200,3167,1,304,3,10
201,3167,1,304,3,10
202,3167,1,304,3,10
203,3167,1,304,3,10
204,3167,1,304,3,10
205,3167,1,304,3,10
206,3167,1,304,3,10
207,3167,1,304,3,10
208,3167,1,304,3,10
209,3167,1,304,3,10
210,3167,1,304,3,10
211,3167,1,304,3,10
212,3167,1,304,3,10
213,3167,1,304,3,10
214,3167,1,304,3,10
215,3167,1,304,3,10
216,3167,1,304,3,10
217,3167,1,304,3,10
218,3167,1,304,3,12
219,3167,1,304,3,12
220,3167,1,304,3,10
221,3167,1,304,3,10
222,3167,1,304,3,10
223,7159,1,532,3,18
224,3167,1,304,3,10
225,7159,1,532,3,17
226,3167,1,304,3,12
227,3167,1,304,3,9
228,3167,1,304,3,9
229,3167,1,304,3,9
230,3167,1,304,3,9
231,3167,1,304,3,9
232,3167,1,304,3,10
233,3167,1,304,3,9
234,3167,1,304,3,10
235,3167,1,304,3,10
236,3167,1,304,3,10
237,3167,1,304,3,10
238,3167,1,304,3,10
239,7159,1,532,3,18
240,3167,1,304,3,13
241,7159,1,532,3,26
242,3167,1,304,3,15
243,3167,1,304,3,14
244,3167,1,304,3,15
245,3167,1,304,3,15
246,3167,1,304,3,15
247,3167,1,304,3,15
248,3167,1,304,3,16
249,3167,1,304,3,15
250,3167,1,304,3,15
251,3167,1,304,3,15
252,3167,1,304,3,14
253,3167,1,304,3,10
254,3167,1,304,3,11
255,3167,1,304,3,10
256,3167,1,304,3,10
257,3167,1,304,3,10
258,3167,1,304,3,10
259,3167,1,304,3,10
260,3167,1,304,3,10
261,3167,1,304,3,9
262,3167,1,304,3,10
263,3167,1,304,3,10
264,3167,1,304,3,10
265,3167,1,304,3,10
266,3167,1,304,3,10
267,3167,1,304,3,10
268,3167,1,304,3,10
269,3167,1,304,3,10
270,19235,1,1213,4,120
271,17267,1,1177,4,53
272,30007,1,1669,4,78
273,17267,1,1177,4,71
274,19235,1,1213,4,74
275,17267,1,1177,4,59
276,19235,1,1213,4,57
277,19235,1,1213,4,74
278,19235,1,1213,4,78
279,19235,1,1213,4,70
280,30007,1,1669,4,109
281,17267,1,1177,4,74
282,17267,1,1177,4,74
283,40585,1,1981,4,201
284,17267,1,1177,4,94
285,19235,1,1213,4,121
286,17267,1,1177,4,77
287,17267,1,1177,4,75
288,19235,1,1213,4,121
289,17267,1,1177,4,107
290,19235,1,1213,4,61
291,19235,1,1213,4,53
292,17267,1,1177,4,86
293,30007,1,1669,4,134
294,17267,1,1177,4,48
295,37527,1,1945,4,83
296,19235,1,1213,4,54
297,17267,1,1177,4,48
298,19235,1,1213,4,54
299,19235,1,1213,4,55
300,19235,1,1213,4,53
301,19235,1,1213,4,53
302,37527,1,1945,4,84
303,30007,1,1669,4,73
304,17267,1,1177,4,48
305,19235,1,1213,4,54
306,30007,1,1669,4,74
307,19235,1,1213,4,54
308,17267,1,1177,4,48
309,30007,1,1669,4,74
310,19235,1,1213,4,53
311,19235,1,1213,4,60
312,17267,1,1177,4,47
313,30007,1,1669,4,72
314,19235,1,1213,4,52
315,19235,1,1213,4,83
316,30007,1,1669,4,114
317,19235,1,1213,4,79
318,19235,1,1213,4,75
319,17267,1,1177,4,48
320,17267,1,1177,4,47
321,19235,1,1213,4,54
322,30007,1,1669,4,75
323,17267,1,1177,4,56
324,40585,1,1981,4,100
325,17267,1,1177,4,48
326,17267,1,1177,4,48
327,17267,1,1177,4,48
328,19235,1,1213,4,53
329,19235,1,1213,4,53
330,19235,1,1213,4,62
331,17267,1,1177,4,48
332,19235,1,1213,4,53
333,30007,1,1669,4,73
334,17267,1,1177,4,48
335,17267,1,1177,4,51
336,19235,1,1213,4,54
337,30007,1,1669,4,78
338,30007,1,1669,4,73
339,17267,1,1177,4,49
340,17267,1,1177,4,48
341,19235,1,1213,4,53
342,30007,1,1669,4,76
343,17267,1,1177,4,48
344,30007,1,1669,4,73
345,19235,1,1213,4,54
346,17267,1,1177,4,48
347,17267,1,1177,4,48
348,17267,1,1177,4,48
349,17267,1,1177,4,47
350,17267,1,1177,4,48
351,30007,1,1669,4,75
352,17267,1,1177,4,48
353,19235,1,1213,4,54
354,17267,1,1177,4,49
355,17267,1,1177,4,48
356,17267,1,1177,4,48
357,17267,1,1177,4,49
358,17267,1,1177,4,48
359,17267,1,1177,4,49
360,17267,1,1177,4,56
361,19235,1,1213,4,80
362,17267,1,1177,4,75
363,17267,1,1177,4,74
364,17267,1,1177,4,76
365,30007,1,1669,4,110
366,17267,1,1177,4,62
367,17267,1,1177,4,65
368,17267,1,1177,4,63
369,19235,1,1213,4,72
370,17267,1,1177,4,61
371,19235,1,1213,4,70
372,19235,1,1213,4,69
373,19235,1,1213,4,73
374,19235,1,1213,4,70
375,17267,1,1177,4,62
376,17267,1,1177,4,60
377,17267,1,1177,4,61
378,30007,1,1669,4,91
379,17267,1,1177,4,63
380,17267,1,1177,4,62
381,17267,1,1177,4,62
382,19235,1,1213,4,68
383,19235,1,1213,4,77
384,17267,1,1177,4,64
385,17267,1,1177,4,62
386,19235,1,1213,4,68
387,17267,1,1177,4,72
388,24577,1,1585,4,87
389,17267,1,1177,4,62
390,19235,1,1213,4,71
391,19235,1,1213,4,77
392,17267,1,1177,4,63
393,17267,1,1177,4,64
394,19235,1,1213,4,69
395,17267,1,1177,4,67
396,17267,1,1177,4,61
397,19235,1,1213,4,68
398,19235,1,1213,4,55
399,19235,1,1213,4,53
400,17267,1,1177,4,50
401,17267,1,1177,4,49
402,17267,1,1177,4,49
403,30007,1,1669,4,75
404,19235,1,1213,4,54
405,17267,1,1177,4,49
406,17267,1,1177,4,55
407,19235,1,1213,4,60
408,30007,1,1669,4,76
409,37527,1,1945,4,89
410,19235,1,1213,4,63
411,19235,1,1213,4,59
412,17267,1,1177,4,53
413,19235,1,1213,4,57
414,19235,1,1213,4,56
415,17267,1,1177,4,50
416,19235,1,1213,4,55
417,30007,1,1669,4,79
418,19235,1,1213,4,56
419,19235,1,1213,4,104
420,17267,1,1177,4,88
421,19235,1,1213,4,98
422,30007,1,1669,4,96
423,17267,1,1177,4,52
424,17267,1,1177,4,50
425,30007,1,1669,4,81
426,19235,1,1213,4,55
427,30007,1,1669,4,79
428,19235,1,1213,4,56
429,19235,1,1213,4,56
430,19235,1,1213,4,54
431,17267,1,1177,4,49
432,19235,1,1213,4,54
433,19235,1,1213,4,54
434,19235,1,1213,4,58
435,19235,1,1213,4,55
436,17267,1,1177,4,49
437,17267,1,1177,4,51
438,17267,1,1177,4,50
439,19235,1,1213,4,54
440,17267,1,1177,4,48
441,19235,1,1213,4,54
442,19235,1,1213,4,54
443,19235,1,1213,4,56
444,69731,1,3442,5,205
445,119137,1,4882,5,373
446,94787,1,4018,5,271
447,72127,1,3706,5,191
448,96823,1,4174,5,241
449,94787,1,4018,5,255
450,94787,1,4018,5,260
451,69731,1,3442,5,200
452,94787,1,4018,5,305
453,69731,1,3442,5,291
454,94787,1,4018,5,357
455,56759,1,3202,5,162
456,56759,1,3202,5,201
457,56759,1,3202,5,204
458,69731,1,3442,5,253
459,94787,1,4018,5,337
460,73237,1,3742,5,244
461,69731,1,3442,5,244
462,73237,1,3742,5,239
463,126819,1,4942,5,373
464,56759,1,3202,5,228
465,69731,1,3442,5,251
466,73237,1,3742,5,244
467,56759,1,3202,5,204
468,96823,1,4174,5,299
469,94787,1,4018,5,321
470,69731,1,3442,5,249
471,56759,1,3202,5,202
472,69731,1,3442,5,253
473,94787,1,4018,5,329
474,69731,1,3442,5,305
475,94787,1,4018,5,359
476,69731,1,3442,5,246
477,69731,1,3442,5,248
478,94787,1,4018,5,328
479,73237,1,3742,5,244
480,69731,1,3442,5,246
481,96823,1,4174,5,317
482,94787,1,4018,5,327
483,94787,1,4018,5,320
484,94787,1,4018,5,346
485,56759,1,3202,5,204
486,60093,1,3142,5,190
487,73237,1,3742,5,233
488,56759,1,3202,5,210
489,69731,1,3442,5,250
490,96823,1,4174,5,303
491,29580,0,1689,5,94
492,119137,1,4882,5,384
493,96823,1,4174,5,300
494,73237,1,3742,5,236
495,96823,1,4174,5,309
496,69731,1,3442,5,290
497,56759,1,3202,5,240
498,115963,1,4690,5,358
499,126819,1,4942,5,365
500,94787,1,4018,5,329
501,94787,1,4018,5,319
502,96823,1,4174,5,302
503,56759,1,3202,5,201
504,96823,1,4174,5,297
505,69731,1,3442,5,245
506,69731,1,3442,5,242
507,73237,1,3742,5,248
508,94787,1,4018,5,319
509,69731,1,3442,5,202
510,56759,1,3202,5,163
511,73237,1,3742,5,188
512,69731,1,3442,5,205
513,56759,1,3202,5,190
514,115963,1,4690,5,358
515,69731,1,3442,5,247
516,69731,1,3442,5,243
517,115963,1,4690,5,351
518,69731,1,3442,5,242
519,115963,1,4690,5,379
520,80773,1,4114,5,296
521,69731,1,3442,5,257
522,69731,1,3442,5,251
523,115963,1,4690,5,356
524,56759,1,3202,5,201
525,69731,1,3442,5,242
526,87639,1,3886,5,255
527,96823,1,4174,5,299
528,69731,1,3442,5,246
529,56759,1,3202,5,205
530,69731,1,3442,5,246
531,73237,1,3742,5,235
532,94787,1,4018,5,360
533,69731,1,3442,5,242
534,56759,1,3202,5,203
535,96823,1,4174,5,299
536,56759,1,3202,5,201
537,69731,1,3442,5,241
538,69731,1,3442,5,244
539,69731,1,3442,5,250
540,69731,1,3442,5,244
541,69731,1,3442,5,241
542,69731,1,3442,5,243
543,56759,1,3202,5,207
544,94787,1,4018,5,323
545,56759,1,3202,5,209
546,69731,1,3442,5,280
547,73237,1,3742,5,236
548,94787,1,4018,5,328
549,73237,1,3742,5,230
550,69731,1,3442,5,243
551,56759,1,3202,5,202
552,94787,1,4018,5,325
553,60093,1,3142,5,182
554,69731,1,3442,5,244
555,56759,1,3202,5,202
556,69731,1,3442,5,241
557,94787,1,4018,5,320
558,69731,1,3442,5,246
559,56759,1,3202,5,214
560,115963,1,4690,5,371
561,96823,1,4174,5,297
562,56759,1,3202,5,202
563,115963,1,4690,5,356
564,69731,1,3442,5,244
565,96823,1,4174,5,308
566,56759,1,3202,5,203
567,56759,1,3202,5,202
568,69731,1,3442,5,241
569,69731,1,3442,5,244
570,94787,1,4018,5,323
571,96823,1,4174,5,303
572,69731,1,3442,5,323
573,115963,1,4690,5,428
574,69731,1,3442,5,253
575,94787,1,4018,5,317
576,69731,1,3442,5,245
577,140565,1,5530,5,429
578,115963,1,4690,5,353
579,98727,1,4570,5,295
580,69731,1,3442,5,243
581,69731,1,3442,5,243
582,94787,1,4018,5,317
583,69731,1,3442,5,242
584,69731,1,3442,5,244
585,69731,1,3442,5,273
586,72127,1,3706,5,201
587,56759,1,3202,5,161
588,69731,1,3442,5,196
589,69731,1,3442,5,196
590,56759,1,3202,5,183
591,94787,1,4018,5,255
592,69731,1,3442,5,197
593,56759,1,3202,5,160
594,69731,1,3442,5,193
595,56759,1,3202,5,160
596,56759,1,3202,5,160
597,96823,1,4174,5,238
598,73237,1,3742,5,219
599,73237,1,3742,5,185
600,94787,1,4018,5,257
601,94787,1,4018,5,411
602,69731,1,3442,5,250
603,115963,1,4690,5,352
604,69731,1,3442,5,242
605,69731,1,3442,5,240
606,69731,1,3442,5,240
607,96823,1,4174,5,302
608,72127,1,3706,5,236
609,56759,1,3202,5,201
610,69731,1,3442,5,249
611,60093,1,3142,5,182
612,69731,1,3442,5,241
613,69731,1,3442,5,243
614,56759,1,3202,5,200
615,56759,1,3202,5,200
616,119137,1,4882,5,406
617,56759,1,3202,5,161
618,56759,1,3202,5,161
619,56759,1,3202,5,160
620,69731,1,3442,5,193
621,69731,1,3442,5,192
622,56759,1,3202,5,160
623,73237,1,3742,5,187
624,56759,1,3202,5,160
625,73237,1,3742,5,183
626,94787,1,4018,5,252
627,69731,1,3442,5,193
628,68253,1,3574,5,164
629,56759,1,3202,5,159
630,94787,1,4018,5,252
631,94787,1,4018,5,258
632,56759,1,3202,5,170
633,96823,1,4174,5,337
634,72127,1,3706,5,192
635,69731,1,3442,5,195
636,69731,1,3442,5,194
637,69731,1,3442,5,199
638,69731,1,3442,5,200
639,56759,1,3202,5,193
640,94787,1,4018,5,323
641,69731,1,3442,5,250
642,72127,1,3706,5,236
643,56759,1,3202,5,202
644,56759,1,3202,5,199
645,94787,1,4018,5,315
646,69731,1,3442,5,242
647,69731,1,3442,5,243
648,94787,1,4018,5,451
649,96823,1,4174,5,303
650,94787,1,4018,5,342
651,69731,1,3442,5,247
652,73237,1,3742,5,232
653,115963,1,4690,5,360
654,69731,1,3442,5,248
655,69731,1,3442,5,242
656,69731,1,3442,5,245
657,56759,1,3202,5,202
658,94787,1,4018,5,314
659,173459,1,7465,6,610
660,135827,1,6913,6,492
661,269783,1,9313,6,1024
662,173459,1,7465,6,618
663,177371,1,7657,6,633
664,173459,1,7465,6,607
665,173459,1,7465,6,604
666,239839,1,9025,6,759
667,231107,1,8449,6,799
668,421319,1,12025,6,1175
669,185617,1,7681,6,471
670,269783,1,9313,6,750
671,177371,1,7657,6,509
672,177371,1,7657,6,507
673,269783,1,9313,6,911
674,421319,1,12025,6,1439
675,173459,1,7465,6,607
676,231107,1,8449,6,780
677,177371,1,7657,6,623
678,185617,1,7681,6,583
679,269783,1,9313,6,837
680,177371,1,7657,6,527
681,191287,1,7969,6,631
682,421319,1,12025,6,1409
683,135827,1,6913,6,487
684,173459,1,7465,6,607
685,403153,1,12265,6,1319
686,173459,1,7465,6,526
687,269783,1,9313,6,746
688,185617,1,7681,6,469
689,185617,1,7681,6,472
690,231107,1,8449,6,634
691,231107,1,8449,6,652
692,173459,1,7465,6,618
693,123749,1,5713,6,375
694,142399,1,7033,6,461
695,185617,1,7681,6,588
696,144391,1,7129,6,496
697,231107,1,8449,6,781
698,323983,1,10153,6,994
699,177371,1,7657,6,711
700,185617,1,7681,6,478
701,421319,1,12025,6,1172
702,421319,1,12025,6,1157
703,231107,1,8449,6,636
704,231107,1,8449,6,639
705,429039,1,12169,6,1022
706,231107,1,8449,6,635
707,185617,1,7681,6,473
708,231107,1,8449,6,635
709,142399,1,7033,6,373
710,61094,0,3540,6,126
711,185575,1,7825,6,496
712,177371,1,7657,6,539
713,177371,1,7657,6,511
714,173459,1,7465,6,561
715,231107,1,8449,6,678
716,173459,1,7465,6,627
717,282977,1,9241,6,809
718,185575,1,7825,6,620
719,231107,1,8449,6,824
720,135827,1,6913,6,565
721,254833,1,9769,6,900
722,139210,0,5424,6,354
723,265659,1,8881,6,783
724,269783,1,9313,6,933
725,142399,1,7033,6,486
726,231107,1,8449,6,778
727,173459,1,7465,6,610
728,173459,1,7465,6,782
729,173459,1,7465,6,631
730,269783,1,9313,6,930
731,134977,1,6697,6,456
732,269783,1,9313,6,926
733,134977,1,6697,6,453
734,185617,1,7681,6,605
735,231107,1,8449,6,793
736,137403,1,6361,6,498
737,137403,1,6361,6,447
738,269783,1,9313,6,922
739,269783,1,9313,6,904
740,185617,1,7681,6,601
741,239839,1,9025,6,768
742,135827,1,6913,6,495
743,135827,1,6913,6,493
744,135827,1,6913,6,508
745,185575,1,7825,6,697
746,185575,1,7825,6,611
747,269783,1,9313,6,917
748,177371,1,7657,6,618
749,185575,1,7825,6,609
750,323983,1,10153,6,995
751,239839,1,9025,6,779
752,173459,1,7465,6,611
753,185617,1,7681,6,638
754,185617,1,7681,6,609
755,269783,1,9313,6,919
756,239839,1,9025,6,758
757,135827,1,6913,6,494
758,173459,1,7465,6,615
759,135827,1,6913,6,459
760,269783,1,9313,6,906
761,269783,1,9313,6,975
762,134977,1,6697,6,457
763,269783,1,9313,6,817
764,269783,1,9313,6,897
765,173459,1,7465,6,613
766,139709,1,6409,6,424
767,144391,1,7129,6,513
768,185617,1,7681,6,566
769,173459,1,7465,6,617
770,173459,1,7465,6,676
771,231107,1,8449,6,785
772,269783,1,9313,6,913
773,421319,1,12025,6,1423
774,269783,1,9313,6,960
775,173459,1,7465,6,610
776,135827,1,6913,6,512
777,185617,1,7681,6,642
778,185617,1,7681,6,585
779,173459,1,7465,6,601
780,173459,1,7465,6,605
781,173459,1,7465,6,608
782,173459,1,7465,6,629
783,144391,1,7129,6,496
784,185617,1,7681,6,587
785,173459,1,7465,6,615
786,185617,1,7681,6,597
787,177371,1,7657,6,574
788,185575,1,7825,6,616
789,141869,0,5604,6,399
790,177371,1,7657,6,620
791,185617,1,7681,6,578
792,177371,1,7657,6,628
793,177371,1,7657,6,622
794,173459,1,7465,6,617
795,135827,1,6913,6,507
796,269783,1,9313,6,947
797,231107,1,8449,6,973
798,177371,1,7657,6,662
799,269783,1,9313,6,919
800,134977,1,6697,6,450
801,323983,1,10153,6,986
802,173459,1,7465,6,638
803,323983,1,10153,6,977
804,204405,1,8041,6,604
805,177371,1,7657,6,682
806,173459,1,7465,6,611
807,173459,1,7465,6,640
808,239497,1,8977,6,750
809,269783,1,9313,6,912
810,269783,1,9313,6,923
811,269783,1,9313,6,919
812,185617,1,7681,6,586
813,144969,1,6577,6,457
814,117861,1,5473,6,399
815,144391,1,7129,6,517
816,135827,1,6913,6,500
817,177371,1,7657,6,633
818,345097,1,10945,6,1124
819,177371,1,7657,6,627
820,177371,1,7657,6,616
821,323983,1,10153,6,990
822,159323,1,6721,6,482
823,269783,1,9313,6,942
824,177371,1,7657,6,516
825,173459,1,7465,6,587
826,191287,1,7969,6,635
827,269783,1,9313,6,908
828,269783,1,9313,6,921
829,231107,1,8449,6,756
830,269783,1,9313,6,933
831,177371,1,7657,6,634
832,173459,1,7465,6,673
833,173459,1,7465,6,590
834,323983,1,10153,6,825
835,231107,1,8449,6,792
836,269783,1,9313,6,919
837,231107,1,8449,6,791
838,135827,1,6913,6,482
839,173459,1,7465,6,496
840,173459,1,7465,6,503
841,204405,1,8041,6,600
842,345097,1,10945,6,1062
843,269783,1,9313,6,807
844,177371,1,7657,6,508
845,133149,0,5244,6,320
846,788207,1,20200,7,2285
847,572791,1,17512,7,1929
848,356339,1,14392,7,1269
849,479375,1,16156,7,1645
850,467207,1,15676,7,1628
851,549217,1,16660,7,1654
852,585083,1,18028,7,1640
853,310159,1,12736,7,817
854,479375,1,16156,7,1365
855,1757711,1,33712,7,5341
856,467207,1,15676,7,1326
857,356339,1,14392,7,1048
858,403357,1,13972,7,1066
859,389949,1,13432,7,990
860,813091,1,21724,7,2540
861,1024583,1,24292,7,3683
862,348515,1,14008,7,1027
863,813091,1,21724,7,2089
864,467207,1,15676,7,1326
865,268655,1,12844,7,805
866,542251,1,16900,7,1434
867,542251,1,16900,7,1399
868,788207,1,20200,7,2136
869,440079,1,13900,7,1092
870,260983,1,12472,7,813
871,348515,1,14008,7,1021
872,479375,1,16156,7,1337
873,310159,1,12736,7,832
874,242653,1,11812,7,665
875,585083,1,18028,7,1634
876,760931,1,18472,7,2047
877,308307,1,12388,7,938
878,1583671,1,31912,7,3976
879,161223,1,7828,7,485
880,1024583,1,24292,7,3050
881,389601,1,13456,7,1140
882,577043,1,17632,7,2071
883,788207,1,20200,7,2903
884,166075,0,6945,7,425
885,334139,1,13444,7,1241
886,467207,1,15676,7,1635
887,225885,1,9832,7,774
888,348515,1,14008,7,1288
889,348515,1,14008,7,1570
890,371303,0,11769,7,943
891,585083,1,18028,7,1988
892,788207,1,20200,7,2709
893,390217,1,15220,7,1393
894,615477,1,18304,7,2029
895,373035,1,12580,7,1176
896,275127,1,11404,7,948
897,577043,1,17632,7,2046
898,348515,1,14008,7,1286
899,851135,1,22696,7,2573
900,549217,1,16660,7,1680
901,467207,1,15676,7,1618
902,403357,1,13972,7,1301
903,296989,1,12376,7,1002
904,788207,1,20200,7,2805
905,214617,1,9988,7,733
906,461857,1,17176,7,1648
907,585083,1,18028,7,1991
908,356339,1,14392,7,1291
909,479375,1,16156,7,1715
910,579291,1,17032,7,1802
911,585083,1,18028,7,2070
912,296989,1,12376,7,1019
913,348515,1,14008,7,1312
914,403357,1,13972,7,1353
915,585083,1,18028,7,2050
916,788207,1,20200,7,2859
917,549217,1,16660,7,1748
918,318655,1,13396,7,1092
919,736675,1,18616,7,2199
920,577043,1,17632,7,2041
921,334139,1,13444,7,1325
922,410113,1,14836,7,1369
923,268655,1,12844,7,1009
924,348515,1,14008,7,1280
925,220095,1,9712,7,743
926,1237695,1,25012,7,3572
927,403357,1,13972,7,1394
928,467207,1,15676,7,1623
929,348515,1,14008,7,1270
930,422299,1,15016,7,1384
931,348515,1,14008,7,1252
932,557419,1,17080,7,1775
933,348515,1,14008,7,1329
934,467207,1,15676,7,1611
935,356339,1,14392,7,1270
936,334139,1,13444,7,1229
937,336667,1,13660,7,1184
938,549217,1,16660,7,1700
939,549217,1,16660,7,1704
940,403357,1,13972,7,1227
941,410113,1,14836,7,1059
942,373035,1,12580,7,944
943,348515,1,14008,7,1043
944,356339,1,14392,7,1052
945,296989,1,12376,7,817
946,736675,1,18616,7,1803
947,401919,1,14104,7,1314
948,479375,1,16156,7,1463
949,228615,1,10516,7,595
950,475307,1,14800,7,1142
951,585083,1,18028,7,1653
952,225885,1,9832,7,598
953,173731,0,7185,7,351
954,296989,1,12376,7,834
955,736675,1,18616,7,1868
956,403357,1,13972,7,1165
957,557419,1,17080,7,1740
958,788207,1,20200,7,2596
959,788207,1,20200,7,2607
960,575563,1,17608,7,1734
961,348515,1,14008,7,1015
962,348515,1,14008,7,1021
963,334139,1,13444,7,1002
964,577043,1,17632,7,1618
965,697011,1,17572,7,1652
966,575563,1,17608,7,1634
967,348515,1,14008,7,1021
968,549217,1,16660,7,1395
969,585083,1,18028,7,1802
970,788207,1,20200,7,2182
971,1024583,1,24292,7,3439
972,467207,1,15676,7,1427
973,467207,1,15676,7,1316
974,467207,1,15676,7,1328
975,275127,1,11404,7,761
976,1024583,1,24292,7,2933
977,788207,1,20200,7,2171
978,577043,1,17632,7,1971
979,389949,1,13432,7,1184
980,557419,1,17080,7,1453
981,577043,1,17632,7,1635
982,348515,1,14008,7,1103
983,467207,1,15676,7,1313
984,1024583,1,24292,7,2908
985,572791,1,17512,7,1673
986,1074829,1,24520,7,3707
987,403357,1,13972,7,1077
988,788207,1,20200,7,2367
989,605171,1,23413,8,2276
990,949459,1,28117,8,3319
991,1412039,1,33661,8,5029
992,2740799,1,48097,8,9314
993,836599,1,26401,8,2861
994,1235979,0,28224,8,3835
995,814643,1,26545,8,2907
996,1519393,1,33289,8,4728
997,605171,1,23413,8,2257
998,1436807,1,34645,8,4762
999,571825,1,20641,8,1985
1000,1412039,1,33661,8,4668
1001,2740799,1,48097,8,9640
1002,609083,1,23605,8,2244
1003,1038791,1,29905,8,3343
1004,672103,1,24145,8,2053
1005,672103,1,24145,8,2318
1006,1519393,1,33289,8,4434
1007,502711,1,21061,8,1795
1008,769019,1,25129,8,2739
1009,866935,1,26761,8,3164
1010,1748101,1,37321,8,4430
1011,1038791,1,29905,8,2984
1012,1818513,1,39973,8,4822
1013,977883,1,25873,8,2835
1014,300483,1,13465,8,1029
1015,1436807,1,34645,8,4823
1016,1776883,1,38197,8,4824
1017,609083,1,23605,8,1988
1018,445567,1,18565,8,1383
1019,2486267,1,44089,8,8252
1020,1436807,1,34645,8,4894
1021,826349,1,23161,8,2468
1022,627675,1,20953,8,2020
1023,502711,1,21061,8,1944
1024,609083,1,23605,8,2248
1025,442251,1,16057,8,1385
1026,1104535,1,29581,8,3499
1027,1083361,1,27757,8,3305
1028,472725,1,16945,8,1526
1029,1028743,1,27625,8,3283
1030,1022171,1,26161,8,3014
1031,1990199,1,41989,8,6675
1032,1154671,1,30037,8,3834
1033,2740799,1,48097,8,9175
1034,653791,1,23521,8,2370
1035,260915,1,12109,8,871
1036,794747,1,23485,8,2429
1037,1083361,1,27757,8,3393
1038,146890,0,8052,8,418
1039,344895,1,16201,8,1270
1040,1412039,1,33661,8,4790
1041,932279,1,24949,8,2913
1042,814643,1,26545,8,2917
1043,1249709,1,30109,8,3643
1044,806387,1,26257,8,3018
1045,1020287,1,29137,8,3699
1046,1353469,1,34897,8,4537
1047,1080689,1,28297,8,3483
1048,397725,1,15781,8,1320
1049,866935,1,26761,8,2901
1050,814643,1,26545,8,2968
1051,2486267,1,44089,8,8103
1052,106322,0,6234,8,301
1053,635929,1,22597,8,2190
1054,707411,1,21889,8,2275
1055,866935,1,26761,8,2991
1056,2740799,1,48097,8,9193
1057,687463,1,24889,8,2387
1058,1054871,1,30697,8,3809
1059,1990199,1,41989,8,6782
1060,646893,1,24325,8,2329
1061,267933,1,12709,8,940
1062,798563,1,25873,8,2950
1063,580331,1,22477,8,2331
1064,458705,1,16513,8,1505
1065,1054871,1,30697,8,3672
1066,1316389,1,33577,8,4220
1067,999501,1,28345,8,3141
1068,949335,1,25309,8,3038
1069,682101,1,21301,8,2126
1070,798563,1,25873,8,2846
1071,609083,1,23605,8,2292
1072,609083,1,23605,8,2299
1073,1748101,1,37321,8,5360
1074,1038791,1,29905,8,3884
1075,738745,1,26869,8,2670
1076,332319,1,13825,8,1098
1077,457441,1,19225,8,1638
1078,559639,1,22201,8,2056
1079,1990199,1,41989,8,6902
1080,605171,1,23413,8,2246
1081,655419,0,19266,8,1975
1082,1412039,1,33661,8,4666
1083,469427,1,21529,8,1745
1084,1326355,1,34069,8,3879
1085,573435,1,20101,8,1938
1086,1038791,1,29905,8,3622
1087,977883,1,25873,8,3097
1088,932781,1,24181,8,2779
1089,465399,1,18577,8,1537
1090,798563,1,25873,8,2948
1091,832393,1,25237,8,3058
1092,1038791,1,29905,8,3681
1093,1990199,1,41989,8,6898
1094,565049,1,18385,8,1719
1095,554783,1,18901,8,1784
1096,1403807,1,33685,8,4799
1097,1403807,1,33685,8,4777
1098,457441,1,19225,8,1586
1099,1253833,1,33457,8,4238
1100,1038791,1,29905,8,3653
1101,2486267,1,44089,8,8139
1102,571825,1,20641,8,1949
1103,1595347,1,35593,8,5124
1104,3220867,1,49777,8,9725
1105,727711,1,24661,8,2623
1106,283349,1,12601,8,994
1107,2740799,1,48097,8,9268
1108,1412039,1,33661,8,4854
1109,423405,1,18157,8,1458
1110,832393,1,25237,8,2689
1111,909453,1,23245,8,2416
1112,447447,1,16141,8,1258
1113,2002943,1,42613,8,6383
1114,1054871,1,30697,8,3623
1115,2002943,1,42613,8,6683
1116,1412039,1,33661,8,4388
1117,1087135,1,28369,8,3825
1118,832393,1,25237,8,2703
1119,1519393,1,33289,8,4520
1120,253691,1,12373,8,887
1121,798563,1,25873,8,2891
1122,1436807,1,34645,8,4944
1123,717343,0,21357,9,2002
1124,536277,1,21886,9,1973
1125,1127905,1,35698,9,3826
1126,4601723,1,76258,9,15575
1127,2222111,1,51910,9,7659
1128,4324981,1,76702,9,13300
1129,1267539,1,30802,9,3597
1130,1564063,1,43006,9,5425
1131,4511075,1,74434,9,15381
1132,950097,1,28762,9,3088
1133,1515417,1,37678,9,4592
1134,1236187,1,38806,9,4095
1135,2108567,1,49882,9,7765
1136,1651907,1,44782,9,5745
1137,1178853,1,32158,9,3706
1138,2180615,1,50578,9,7642
1139,803557,1,29998,9,3380
1140,1045731,1,34498,9,3676
1141,1252779,1,33646,9,4180
1142,263077,0,11895,9,712
1143,3633453,1,63118,9,10892
1144,858891,1,26626,9,2849
1145,5927713,1,89698,9,19989
1146,1200657,1,30982,9,4464
1147,1998859,1,50602,9,6325
1148,1127905,1,35698,9,3777
1149,958059,1,29218,9,3273
1150,678929,1,23434,9,2240
1151,1676243,1,45742,9,6096
1152,1409089,1,38170,9,4672
1153,910075,1,32014,9,3124
1154,1150705,1,35698,9,3928
1155,1171915,1,35662,9,3992
1156,1572775,1,43018,9,5225
1157,3749643,1,65638,9,11653
1158,2154751,1,48730,9,6932
1159,1398691,1,34630,9,3971
1160,1500461,1,40270,9,5248
1161,1174489,1,35878,9,4043
1162,140025,0,8589,9,437
1163,101133,0,6657,9,298
1164,1556147,1,42910,9,5654
1165,2238839,1,52498,9,7906
1166,1564063,1,43006,9,5299
1167,2755107,1,51034,9,8609
1168,961523,1,36406,9,3673
1169,785557,1,29266,9,2744
1170,704655,1,30106,9,2559
1171,1517931,1,37966,9,4805
1172,1199351,1,38458,9,4416
1173,5882443,1,87922,9,18441
1174,2206245,1,43774,9,6866
1175,1486561,1,39286,9,5045
1176,1676243,1,45742,9,5826
1177,2222111,1,51910,9,7654
1178,1247183,1,39958,9,4706
1179,1259351,1,40438,9,4761
1180,384417,1,17062,9,1475
1181,841619,1,31210,9,2840
1182,2201927,1,51346,9,7466
1183,759463,1,31714,9,2812
1184,4053023,1,69118,9,13199
1185,1127905,1,35698,9,3746
1186,1259351,1,40438,9,4528
1187,2668611,1,50506,9,7666
1188,1409089,1,38170,9,4101
1189,2982875,1,58438,9,10028
1190,4563203,1,74722,9,15208
1191,1573341,1,40222,9,4823
1192,442613,0,16449,9,1184
1193,724047,1,26254,9,2469
1194,2154751,1,48730,9,6846
1195,969347,1,36790,9,3180
1196,926553,1,28630,9,2894
1197,785557,1,29266,9,2739
1198,1939423,1,47758,9,6814
1199,1286775,1,36154,9,4268
1200,798535,1,29134,9,3150
1201,1486561,1,39286,9,4810
1202,2972410,0,51657,9,8161
1203,3523507,1,76945,10,11834
1204,1755491,1,56521,10,6932
1205,1265091,1,44689,10,4512
1206,2348891,1,64177,10,8428
1207,3207911,1,75553,10,11333
1208,2013093,1,49993,10,6830
1209,3739639,1,76393,10,11965
1210,3941181,1,78889,10,12435
1211,826947,1,32401,10,2924
1212,507141,1,23761,10,2190
1213,6531263,1,84769,10,17975
1214,5755883,1,96457,10,20466
1215,1607155,1,40009,10,4835
1216,2015815,1,56041,10,7013
1217,2405387,1,66481,10,8832
1218,2163031,1,60577,10,7925
1219,6518575,1,101665,10,21463
1220,2844787,1,71857,10,9898
1221,1777211,1,56881,10,6571
1222,1646085,1,47089,10,5485
1223,1875491,1,60481,10,7028
1224,1266261,1,43225,10,4421
1225,2622139,1,66721,10,8860
1226,512139,1,23881,10,2138
1227,396976,0,17232,10,1120
1228,1801115,1,57937,10,6811
1229,1414797,1,41353,10,4845
1230,1731587,1,55465,10,6551
1231,3224777,1,74113,10,10593
1232,1731587,1,55465,10,7071
1233,2832717,1,60769,10,9101
1234,245640,0,13530,10,780
1235,4125887,1,81169,10,14333
1236,575825,1,25825,10,2078
1237,719093,1,29641,10,2489
1238,1595545,1,48529,10,5834
1239,1598281,1,50233,10,5650
1240,2348891,1,64177,10,8318
1241,6832415,1,109681,10,23744
1242,1015383,1,37537,10,3452
1243,690953,1,26809,10,2300
1244,1052093,1,34705,10,3610
1245,3255943,1,67777,10,10197
1246,2419287,1,56353,10,8085
1247,1159711,1,42385,10,3907
1248,2261263,1,62905,10,8193
1249,631799,1,23905,10,2254
1250,2732163,1,56233,10,8414
1251,382978,0,16980,10,1057
1252,1755491,1,56521,10,6481
1253,12365699,1,140737,10,41089
1254,895563,1,32137,10,2692
1255,1761131,1,56209,10,6435
1256,1827251,1,58465,10,6541
1257,3720715,1,77065,10,11913
1258,620453,1,24097,10,2078
1259,617361,1,25705,10,2324
1260,309054,0,14514,10,863
1261,3413875,1,76657,10,11090
1262,1017549,1,34321,10,4497
1263,1835507,1,58753,10,6887
1264,2136111,1,50713,10,6963
1265,2816815,1,68089,10,9656
1266,713817,1,26785,10,2568
1267,690329,1,27313,10,2351
1268,584451,1,27481,10,2367
1269,1819427,1,58081,10,6695
1270,1592829,1,44041,10,5531
1271,5141687,1,99553,10,18193